Boolean model - PDFSEARCH.IO - Document Search Engine

Boolean model
Results: 352

#	Item
81	Fuzzy term proximity with boolean queries at 2006 TREC Terabyte task Annabelle MERCIER and Michel BEIGBEDER Ecole Nationale Superieure des Mines de Saint Etienne (ENSM-SE) 158 cours FaurielSaint Etienne Cedex 2 FR Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2007-02-16 13:07:40 Relevance feedback Tf*idf Document retrieval Proximity search Search engine indexing Gerard Salton Fuzzy retrieval Query expansion Information science Information retrieval Extended Boolean model
82	Scheduling and SAT Emmanuel Hebrard Toulouse Outline Add to Reading List Source URL: homepages.laas.fr Language: English - Date: 2014-02-17 02:59:42 Constraint programming Logic in computer science NP-complete problems Boolean algebra Boolean satisfiability problem Electronic design automation Satisfiability NP-complete Model checking Theoretical computer science Applied mathematics Computational complexity theory
83	Translations of Cellular Automata for Efficient Simulation Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:39 Boolean algebra Cross-platform software Diagrams Binary decision diagram Model checking Cellular automaton Java Lookup table C Computing Computer programming Software engineering
84	Propositional Logic Review John MacFarlane January 24, 2011 The task of describing a logical system comes in three parts: Grammar Describing what counts as a formula. Semantics Defining truth in a model (and, derivativel Add to Reading List Source URL: johnmacfarlane.net Language: English - Date: 2011-01-24 19:35:06 Logical truth Binary operations Boolean algebra Tautology Logical connective If and only if Entailment Well-formed formula Truth table Logic Propositional calculus Philosophical logic
85	Anatomy of Alternating Quantifier Satisfiability (Work in progress) Anh-Dung Phan Technical University of Denmark Nikolaj Bjørner Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2012-06-03 10:03:44 Model theory Logic in computer science Predicate logic Computability theory Metalogic Quantifier elimination Satisfiability Modulo Theories Presburger arithmetic True quantified Boolean formula Theoretical computer science Logic Mathematical logic
86	Universidad de Buenos Aires Facultad de Ciencias Exactas y Naturales ´n Departamento de Computacio A study of the Combination Problem: Add to Reading List Source URL: dc.uba.ar Language: English - Date: 2014-11-21 09:25:33 Logic in computer science Electronic design automation Formal methods NP-complete problems Model theory Satisfiability Modulo Theories Satisfiability Boolean satisfiability problem Decision problem Theoretical computer science Mathematics Mathematical logic
87	SoftCOM8th International Conference Software, Telecommunications and Computer Networks, Split, Croatia Add to Reading List Source URL: research.meolic.com Language: English - Date: 2013-12-04 04:28:48 Model checking Cryptography Boolean function Schedule Mathematics Information Data Boolean algebra Diagrams Binary decision diagram
88	Microsoft PowerPoint - dod-sat-workshop.ppt [Compatibility Mode] Add to Reading List Source URL: www.ics.uci.edu Language: English - Date: 2008-09-08 14:27:26 Mathematics Local consistency Constraint satisfaction Mathematical optimization Boolean satisfiability problem Belief propagation Bayesian network Graphical model Constraint optimization Constraint programming Theoretical computer science Software engineering
89	DUTIR at the Session track in TREC 2011 Wenfei Liu, Hongfei Lin , Yunlong Ma, Tianshu Chang School of Computer Science and Technology, Dalian University of Technology, Dalian {wenfei.liu, kevinma, tianshuchang}@ma Add to Reading List Source URL: trec.nist.gov Language: English - Date: 2012-03-08 09:34:55 Query expansion Relevance Web search query Discounted cumulative gain Search engine Web query classification Extended Boolean model Information science Information retrieval Relevance feedback
90	Under consideration for publication in Math. Struct. in Comp. Science Applications and Extensions of Alloy: Past, Present, and Future E M I N A T O R L A K 1 , M A N A T A G H D I R I 2 , G R E G D E N N I S 3 and J O S Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Model checkers Logic in computer science Alloy Analyzer Massachusetts Institute of Technology Alloy NuSMV Formal verification First-order logic Boolean satisfiability problem Theoretical computer science Formal methods Applied mathematics

UPDATE